Science of Logic

Results: 5317



#Item
791

BRICS Basic Research in Computer Science BRICS RS-98-8 Thiagarajan & Henriksen: Distributed Versions of Linear Time Temporal Logic

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 1999-04-05 10:42:03
    792

    Web Intelligence and Fuzzy Logic — The Concept of Web IQ (WIQ) Lotfi A. Zadeh Computer Science Division Department of EECS UC Berkeley

    Add to Reading List

    Source URL: www.wi-consortium.org

    Language: English - Date: 2003-10-21 04:27:12
      793

      Task Granularity Analysis in Logic Programs Saumya K. Debray Nai-Wei Lin Department of Computer Science The University of Arizona Tucson, AZ 85721

      Add to Reading List

      Source URL: clip.dia.fi.upm.es

      Language: English - Date: 2004-03-05 08:31:15
        794

        The DALI Agent-Oriented Logic Programming Language: Summary and References 2015 Stefania Costantini Dept. of Information Science and Engineering, and Mathematics University of L’Aquila Via Vetoio snc, ICoppito,

        Add to Reading List

        Source URL: costantini.di.univaq.it

        Language: English - Date: 2015-01-24 09:54:45
          795

          Formal systems, logic and semantics Daniel Richardson, Department of Computer Science, University of Bath. email : September 27, 2006

          Add to Reading List

          Source URL: www.cs.bath.ac.uk

          Language: English - Date: 2012-01-04 14:09:37
            796

            Relational Sheaves and Predicate Intuitionistic Modal Logic Barnaby P. Hilken Department of Computer Science University of Manchester Oxford Road, Manchester M13 9PL, UK

            Add to Reading List

            Source URL: www.cs.man.ac.uk

            Language: English - Date: 2001-08-20 04:05:20
              797

              Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs Amadeo Casas1, Manuel Carro2 , and Manuel V. Hermenegildo1,2 1 Depts. of Comp. Science and Electr. and Comp. Eng., Univ. of New Mexico

              Add to Reading List

              Source URL: clip.dia.fi.upm.es

              Language: English - Date: 2008-01-14 10:48:59
                798

                ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems Djihed Afifi, David E. Rydeheard, and Howard Barringer The University of Manchester, School of Computer Science, Kilburn Building, Ox

                Add to Reading List

                Source URL: www.cs.man.ac.uk

                Language: English - Date: 2010-09-06 05:24:15
                  799

                  Proof Search Specifications of Bisimulation and Modal Logics for the π-calculus Alwen Tiu Logic and Computation Group College of Engineering and Computer Science The Australian National University

                  Add to Reading List

                  Source URL: www.lix.polytechnique.fr

                  Language: English - Date: 2009-02-16 11:47:52
                    800

                    Lecture 1: The Formulas of Propositional Logic 1 Logic in Computer Science

                    Add to Reading List

                    Source URL: www.cs.rice.edu

                    Language: English - Date: 2014-10-07 13:45:44
                      UPDATE